权转移法,英文名为Discharging Method,直译即“电荷释放法”.在图论中,它已经有了超过一百的历史了.其最著名的应用是证明了四色定理,也就是证明了嵌入在平面上的图的色数至多为4(其实这个说法稍微有些不严谨).然而,即使对于大多数图论工作者,这种方法仍然十分神秘.
我们这篇学习指导的目的在于让学习者了解权转移法的使用方法,从而让更多的人能理解和使用这种方法.
为了解释权转移法,我们将会以一个简单的题目为例.在此之前,我们先来明确一些术语.
-
如果一个简单平面图的每个面的边界都是3-圈,我们称这个简单平面图是一个平面三角剖分图.
-
如果顶点v的度等于d,那么我们称v为 d-顶点;如果v的度至少d(至多d),那么我们称v为 d+-顶点 (d−-顶点).
-
设P=v1v2…vt是图G的一条 t-路(即t个顶点的路,虽然有的学者习惯用t-路表示长度为t的路,我们这里为了方便叙述,将t个顶点的路称为t-路).
- 如果dG(vi)=di,其中i=1,2,…,t,那么我们称路P是一个 (d1,d2,…,dt)-路;
- 特别地,如果dG(vi)≥di或≤di,那么上述数组中的di可以相应地换成di+或di−.
例题1 如果平面三角剖分图G的最小度为5,那么G包含一条(5,5)-边或一条(5,6)-边.
证明. 首先,我们假设结论是不成立的,而G是一个反例.这是权转移法的第一步:假设存在反例.
接下来,我们对G的每个顶点v赋予一个数,记作ch0(v),一般称之为v的初始电荷量;具体说来,我们这里令ch0(v)=d(v)−6,v∈V(G)(我们一般说:给v赋予d(v)−6个单位的初始电荷量).
然后,再给每个面f赋予2d(f)−6个单位的初始电荷,即ch0(f)=2d(f)−6.由于G是三角剖分图,所以实际上每个面的初始电荷量为零.
现在我们考虑图G上的总的初始电荷量,x∈V(G)∪F(G)∑ch0(x)=2e(G)−6v(G)+4e(G)−6f(G)=−12<0.这就是权转移法的第二步:赋予初始电荷量.
然后是权转移法的第三步:转移电荷(即假定电荷是可以按我们的意志移动的).
为此我们需要制定一个放电规则(discharging rules).我们的放电规则只有一条,那就是:每个5-顶点从它的邻点拿走1/5单位的电量.
我们记放电之后每个顶点和面的电荷量为ch1(⋅).显然,对每个面f,ch1(f)=ch0(f)=0.考虑顶点v.因为G是一个反例,所以每个5-顶点没有6−-邻点,每一个6-顶点也没有5-邻点。因此如果d(v)=5,6,那么ch1(v)=0.如果d(v)≥7,由于G是三角剖分图且没有(5,5)-边,所以v的5-邻点个数不超过21d(v),所以ch1(v)≥d(v)−6−51⋅21d(v)=3/10>0.
可见,经过放电后,每个顶点和面的电荷量都是非负。但是请注意,我们的放电并不改变总电荷量,所以最终的总电荷量与初始的总电荷量应该是相等的,也就是负的。这是个矛盾.
其实上述结论可以加强.
- 我们称每个面的边界都是3-圈的平面图为平面半三角剖分图,注意平面三角剖分图是简单图,但平面半三角剖分图允许出现平行边(请大家思考一下为什么有可能出现一个平面图每个面都是3-面同时还有平行边的现象).
上述例题可以加强到平面半三角剖分图.
上述证明还可以简化一下.因为平面图G上必有e(G)≤3v(G)−6.其等号成立当且仅当G是平面半三角剖分图.
所以初始电荷量以及电荷量的计算可以简化.请大家自行尝试.